Books by author Annabelle McIver

Showing 1 – 7 out of 7 results

1. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Charles Carroll Morgan | Springer-Verlag New York Inc., 2010

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   146.64 €

   Sale 0 %

   You save 0.04 €

   Buy
2. 

   Formal Methods - The Next 30 Years

   Maurice ter Beek, Annabelle McIver, José N. Oliveira | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Quantitative Evaluation of Systems

   Annabelle McIver, Andras Horvath | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Programming Methodology

   Annabelle McIver, Carroll Morgan | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   100.51 €

   Sale 9 %

   You save 10.83 €

   Buy
6. 

   Science of Quantitative Information Flow

   Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith | Springer International Publishing AG, 2019

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   60.45 €

   Sale 9 %

   You save 6.48 €

   Buy
7. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Carroll Morgan | Springer-Verlag New York Inc., 2004

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   167.33 €

   Buy

Estimated delivery date you can see on the book page. Find out more